Defines a trait that allows you to extend a tuple, by returning a new tuple with an element of an arbitrary type added.